Systolic Functional Programming

This paper presents speciications of systolic algorithms in a parallel functional language SysLucid. The language extends conventional functional languages by allowing meanings of program elements, such as variables or expressions , to vary in a context space consisting of temporal and spatial dimensions. In specifying systolic algorithms, the spatial dimensions represent the processor coordinations, and the temporal dimension represents the temporal points for synchronization and pipelining. The temporal and spatial operators specify temporal and spatial relationships among program elements. In SysLucid programs, the both pipeline parallelism and spatial parallelism, as well as temporal , pipeline, and spatial communications, can be speciied.